Some Supervaluation-based Consequence Relations
نویسندگان
چکیده
In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim–Skolem, axiomatizability, and compactness. We also consider an alternate version for supervaluation semantics, and show both axiomatizability and compactness for the resulting consequence relation.
منابع مشابه
Philip Kremer and Alasdair Urquhart Supervaluation Fixed-point Logics of Truth
Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that the princip...
متن کاملSupervaluation Fixed-Point Logics of Truth
Abstract. Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that t...
متن کاملAn application-oriented view on graded spatial relations
Approaches for modeling graded spatial relations abound in the literature on image processing and on geographic information systems. In contrast, few proposals have addressed the use of degrees in application contexts where inference plays a central role. We argue that the use of degrees is nonetheless natural in such contexts, and may enhance the application potential of qualitative spatial re...
متن کاملConsequence Relations In DRT
We discuss some consequence relations in DRT useful to discourse semantics. We incorporate some consequence relations into DRT using se-quent calculi. We also show some connections of these consequence relations and existing partial logics. Our attempt enables us to display several versions of DRT by employing different consequence relations.
متن کاملREVISITING GILES’S GAME Reconciling Fuzzy Logic and Supervaluation∗
We explain Giles’s characterization of Lukasiewicz logic via a dialogue game combined with bets on results of experiments that may show dispersion. The game is generalized to other fuzzy logics and linked to recent results in proof theory. We argue that these results allow one to place t-norm based fuzzy logics in a common framework with supervaluation as a theory of vagueness.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Philosophical Logic
دوره 32 شماره
صفحات -
تاریخ انتشار 2003